:root {
    --verso-structure-font-family: "Source Sans 3","Helvetica Neue","Segoe UI","Roboto",Arial,sans-serif;
    --verso-text-font-family: "Source Sans 3","Helvetica Neue","Segoe UI","Roboto",Arial,sans-serif;
    --verso-code-font-family: "Source Code Pro","Noto Sans Mono",monospace;
    --verso-selected-color: #def;
}

.eval-steps > *:not(:last-child):after {
    content: "⇒";
    display: block;
    padding-left: 1rem;
    font-size: 150%;
}


.hl.lean .keyword.token {
    font-weight: 600 !important;
}


.error pre, .information pre, .warning pre,
.error code, .information code, .warning code {
    overflow-x: auto;
    margin: 0px;
}

.information pre, .error pre, .warning pre,
.information code, .error code, .warning code {
  margin: 0.5em .85em;
  border-left: 0.2em solid red;
  padding: 0 0.45em;
}

/* Different color for warning */
.warning pre, .warning code {
    border-color: var(--verso-warning-color);
}

/* Different color for information */
.information pre, .information code {
    border-color: #0000c0;
}

/* TODO: fix upstream */
.hl.lean code {
    font-family: var(--verso-code-font-family) !important;
}


#toc .split-toc > ol > li {
  margin-bottom: 0.2rem;
}

#toc .split-toc > ol .tactic-name {
  font-weight: 600;
}

.def-technical-term:target {
  background-color: var(--verso-selected-color);
  outline: auto;
}

table.tabular {
  border-collapse: collapse;
}

.tabular thead th {
  background-color: #f8f9fa;
  font-weight: 600;
  text-align: left;
  padding: 12px 16px;
  border-bottom: 2px solid #dee2e6;
  color: #495057;
}

.tabular td {
  padding: 10px 16px;
  border-bottom: 1px solid #e9ecef;
  vertical-align: top;
}


/* Alternating row colors */
.tabular tbody tr:nth-child(even) {
  background-color: #f8f9fa;
}

.tabular tbody tr:nth-child(odd) {
  background-color: #ffffff;
}

/* Subtle hover effect */
.tabular tbody tr:hover {
  background-color: #e3f2fd;
}


/********/

p {
    font-feature-settings: "calt" off;
}
